$\forall$$k$:Knd. ($\uparrow$islocal($k$)) $\vee$ ($\uparrow$isrcv($k$))